$\forall$$L$:System List, $M$:System.
\\[0ex]($\forall$$A$,$B$$\in$$L$.$A$ $\parallel$ $B$) $\Rightarrow$ ($\forall$$B$$\in$$L$. interface{-}compatible($M$;$B$)) $\Rightarrow$ interface{-}compatible($M$;$\oplus$($L$))